Semirings and pseudo MV algebras
نویسندگان
چکیده
In this paper, we describe the relationships between pseudo MV algebras and semirings. We also give definitions of automata on lattice ordered semirings, prove that the family of K-Languages is closed under union, and discuss the conditions for the closedness of families of K-languages under intersection, generalized intersection and reversal operations.
منابع مشابه
Commutative basic algebras and coupled near semirings
The relationship between MV-algebras and semirings was described by A. Di Nola and B. Gerla ([7]). Since commutative basic algebras are similar to MV-algebras up to associativity of the binary operation we try to get a similar relationship between commutative basic algebras and so-called near semirings and we show that this is possible. This means that associativity does not play an important r...
متن کاملIDEALS OF PSEUDO MV-ALGEBRAS BASED ON VAGUE SET THEORY
The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...
متن کاملRepresenting quantum structures as near semirings
In this article, we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with involution. In particular, after discussing several properties of near semirings, we introduce the so-called Łukasiewicz near semirings, as a particular case of ne...
متن کاملPseudo-BL algebras and pseudo-effect algebras
Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect algebra, we investigate the mutual relationship between pseudo-BL algebras and pseudo-effect algebras. We prove that dual pseudo-BL algebra under ce...
متن کاملOn pseudo-BL algebras and BCC-algebras
We further study the filter theory of pseudo-BL algebras.We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, ps...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Soft Comput.
دوره 11 شماره
صفحات -
تاریخ انتشار 2007